Concurrency coverage criteria for activity diagrams
نویسندگان
چکیده
منابع مشابه
Coverage Criteria for Testing of Object Interactions in Sequence Diagrams
This work defines several control-flow coverage criteria for testing the interactions among a set of collaborating objects. The criteria are based on UML sequence diagrams that are reverse-engineered from the code under test. The sequences of messages in the diagrams are used to define the coverage goals for the family of criteria, in a manner that generalizes traditional testing techniques suc...
متن کاملSufficient Criteria for Consistent Behavior Modeling with Refined Activity Diagrams
In use case-driven approaches to requirements modeling, UML activity diagrams are a wide-spread means for refining the functional view of use cases. Early consistency validation of activity diagrams is therefore desirable but difficult due to the semi-formal nature of activity diagrams. In this paper, we specify well-structured activity diagrams and define activities more precisely by preand po...
متن کاملAnnotation-Based Diagrams for Shared-Data Concurrency
In languages such as Java and Ada, there are a number of significant concurrency-related design decisions that may not be manifest locally in code. These include, for example, the identification of shared state, how that state is protected, which threads may visit that state, and so on. These decisions relate threads, code, and shared data. We describe new UML-style diagrams that can help make ...
متن کاملTranslating OMT state diagrams with concurrency into SDL diagrams
Defining a complete methodology for the developing of an application is a challenge for many software engineering specialists. Although many such methodologies have been developed, few of them take into consideration all the aspects that can come up while developing complex applications. Many times, although a general outline for the methodology is being defined, for some important features, li...
متن کاملCoverage Criteria for Logical Expressions
A large number of coverage criteria to generate tests from logical expressions have been proposed. Although there have been large variations in the terminology, the articulation of the criteria and the original source of the expressions, many of these criteria are fundamentally the same. The most commonly known and widely used criterion is that of Modified Condition Decision Coverage (MCDC), bu...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IET Software
سال: 2021
ISSN: 1751-8806,1751-8814
DOI: 10.1049/sfw2.12009